81![The SmartLogic Tool: Analysing and Testing Smart Card Protocols Gerhard de Koning Gans, Joeri de Ruiter Digital Security, Radboud University Nijmegen
The SmartLogic Tool The SmartLogic Tool: Analysing and Testing Smart Card Protocols Gerhard de Koning Gans, Joeri de Ruiter Digital Security, Radboud University Nijmegen
The SmartLogic Tool](https://www.pdfsearch.io/img/b2c40617a84f2d513e1250b8227db157.jpg) | Add to Reading ListSource URL: www.spacios.euLanguage: English - Date: 2012-04-21 16:10:01
|
---|
82![A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands](https://www.pdfsearch.io/img/b3d669df4f07b80db3cad1178a290a00.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2014-05-12 17:56:59
|
---|
83![Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen](https://www.pdfsearch.io/img/22d552c578b1f6b306e679f89aa13fa9.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2015-01-06 13:25:00
|
---|
84![NaCl’s crypto box in hardware Michael Hutter, J¨ urgen Schilling, Peter Schwabe, and Wolfgang Wieser Cryptography Research, TU Graz (IAIK), Radboud University Nijmegen September 14, 2015 NaCl’s crypto box in hardware Michael Hutter, J¨ urgen Schilling, Peter Schwabe, and Wolfgang Wieser Cryptography Research, TU Graz (IAIK), Radboud University Nijmegen September 14, 2015](https://www.pdfsearch.io/img/a702b33303047d0a6403ecf680bc2dab.jpg) | Add to Reading ListSource URL: www.cryptoexperts.comLanguage: English - Date: 2015-11-13 04:48:41
|
---|
85![The MIFARE Hack Mathias Morbitzer Radboud University Nijmegen Abstract. The MIFARE Classic is the most popular RFID chip, used in The MIFARE Hack Mathias Morbitzer Radboud University Nijmegen Abstract. The MIFARE Classic is the most popular RFID chip, used in](https://www.pdfsearch.io/img/3e39c968270631f8cd69d1ab213078b2.jpg) | Add to Reading ListSource URL: www.proxmark.orgLanguage: English - Date: 2012-08-08 18:20:34
|
---|
86![Categorical Views on Computations on Trees (Extended Abstract) Ichiro Hasuo1 , Bart Jacobs1 , and Tarmo Uustalu2 1 Institute of Computing and Information Sciences, Radboud University Nijmegen, Categorical Views on Computations on Trees (Extended Abstract) Ichiro Hasuo1 , Bart Jacobs1 , and Tarmo Uustalu2 1 Institute of Computing and Information Sciences, Radboud University Nijmegen,](https://www.pdfsearch.io/img/fa6b4636e4222fcc4a9f1184d606c304.jpg) | Add to Reading ListSource URL: cs.ioc.eeLanguage: English - Date: 2007-08-31 03:45:00
|
---|
87![Reverse engineering the memory layout of the OV-Chipkaart Ruben Muijrers Supervisor: Wouter Teepe Radboud University Nijmegen Reverse engineering the memory layout of the OV-Chipkaart Ruben Muijrers Supervisor: Wouter Teepe Radboud University Nijmegen](https://www.pdfsearch.io/img/c2332b30a062ce12f4e1e21a58806d01.jpg) | Add to Reading ListSource URL: www.proxmark.orgLanguage: English - Date: 2012-08-08 19:17:31
|
---|
88![Making the Best of Mifare Classic Wouter Teepe Radboud University Nijmegen October 6, 2008 Abstract Making the Best of Mifare Classic Wouter Teepe Radboud University Nijmegen October 6, 2008 Abstract](https://www.pdfsearch.io/img/9a33a9d212c6aaa5c8d3762edad850ce.jpg) | Add to Reading ListSource URL: www.proxmark.orgLanguage: English - Date: 2008-10-13 08:54:29
|
---|
89![Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands](https://www.pdfsearch.io/img/5e7efe125a6f72c80330f8d4a4be8801.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2011-11-07 11:07:10
|
---|
90![Newman’s Typability Algorithm Herman Geuvers (joint work with Robbert Krebbers) Radboud University Nijmegen Technical University Eindhoven The Netherlands Newman’s Typability Algorithm Herman Geuvers (joint work with Robbert Krebbers) Radboud University Nijmegen Technical University Eindhoven The Netherlands](https://www.pdfsearch.io/img/de8843a18e1ed4674effb24a982a9dbf.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2010-01-06 11:26:32
|
---|